Intensional Communities
نویسندگان
چکیده
We describe the interaction and relation between entities in distributed systems, as proposed in the Web Operating System (WOS). Every entity in the system is a versioned object which depends on its current context, which itself is programmable and can be effected by the objects circulating within it. These entities interact through mechanisms of requests/answers and negotiations. Those who exhibit functional and behavioral affinities may dynamically associate themselves to form communities. This positional paper states the basic ideas of the notion of communities in dis-
منابع مشابه
Building Intensional Communities Using Shared Contexts
Intensional communities are composed of intensional programs sharing a common context, implemented using a networked context server, called the AEPD aether process daemon. The programs are written in the ISE intensional imperative scripting language, which is illustrated through versioned assignments in undergraduate classes. Using this model of intensional communities, two examples are develop...
متن کاملTowards a Unified Theory of Intensional Logic Programming
Intensional Logic Programming is a new form of logic programming based on intensional logic and possible-worlds semantics. Intensional logic allows us to use logic programming to specify nonterminating computations and to capture the dynamic aspects of certain problems in a natural and problem-oriented style. The meanings of formulas of an intensional firstorder language are given according to ...
متن کاملIntensional Programming Languages
This article introduces the basic notions behind the intensional programming paradigm. Intensional Logic—which is the underlying theoretical framework of intensional languages is described and motivated by examples. One-dimensional and multidimensional intensional languages are discussed and existing intensional systems are surveyed. The article concludes with a presentation of the most success...
متن کاملIntensional objects
We summarize the interaction between the theory behind intensional programming, as seen in Lucid; and intensional versioning, as seen in Lemur, Intensional HTML, ISE, VMAKE, etc. These two concepts can be seen to be duals of each other, and they rely on dual notions of store, the warehouse for caching values, and the catalog for providing definitions. Catalogs contain intensional objects, which...
متن کاملA Theoretical Basis for Intensional Logic Programming∗
Intensional Logic Programming (ILP) is a new form of logic programming based on intensional logic. The denotations of formulas of an intensional first-order language are given according to intensional interpretations and to a set of possible worlds. ILP provides users with several intensional operators which are used to express relationships between different worlds. After introducing the forma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001